Formal Modelling of Emotions in BDI Agents
نویسندگان
چکیده
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EBDI logic is a formal system for expressing the concepts of the Emotional-BDI model of agency. In this paper we present an improved version of the EBDI logic and show how it can be used to model the role of three emotions in Emotional-BDI agents: fear, anxiety and self-confidence. We also focus in the computational properties of EBDI which can lead to its use in automated proof systems.
منابع مشابه
Towards a Framework for Reasoning About Emotional BDI Agents
The BDI model of agency is a well studied concept in Formal Logic for Rational Agents, mainly through the BDICTL [7] and KARO [7] logical frameworks. The former is based on the Branching Time Logic CTL [3], whereas the latter in based on Dynamic Logic [4]. Both have advantages and disadvantages, but the union of some properties of both frameworks provide, in our opinion, all the formal tools th...
متن کاملModelling Emotional BDI Agents
Emotional-BDI agents are agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. In this paper we introduce the logic EBDI for specifying Emotional-BDI agents in general and a special kind of Emotional-BDI agent under the effect of fear. The focus of this work is in the expressiveness of EBDI and on using i...
متن کاملTowards a Formal Modeling of Affective Agents in a BDI Architecture
When designing agents to simulate human behavior, the incorporation of personality, emotions and mood into the agent reasoning process provides the agent with a closer to human behavior. We have designed an Open Affective Agent Architecture (O3A) based on widely accepted psychological theories. O3A offers a flexible way of integrating the affective characteristics of agents into their logic. We...
متن کاملModelling Internal Dynamic Behaviour of BDI Agents
A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and ...
متن کاملSynthetic Characters with Personality and Emotion
Researchers of systems for Digital Entertainment have resorted to Artificial Intelligence to create characters that are more adaptable to new situations, less predictable, with fast learning capabilities, memory of past situations and a variety of convincing and consistent behaviors. Recent studies in cognitive psychology and neuroscience analyze the fundamental role of personality and emotions...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007